From Functional Animation to Sprite-Based Display
نویسنده
چکیده
Functional animation encourages a highly modular programming style, by supplying a set of arbitrarily composable functions for building up animations. In contrast, libraries for sprite-based display impose rigid structure, in order to allow acceleration by hardware and low level software. This paper presents a method to bridge the gap between functional speciication and stateful, sprite-based presentation of animation. The method's correctness is proved informally by derivation from a simple non-eeective speciication, exploiting algebraic properties of the animation data types that are made explicit in the functional approach. We have implemented this method in the Fran system, which is freely available.
منابع مشابه
The Study of Education Based on Animation in Patient’s Performance under Hemodialysis in Emergency Evacuation Selected Hospitals of Aja
Introduction: A disaster evacuation program is one of the most important parts of hospital crisis management. The following study was carried out to determine the effects of animation-based teaching on hemodialysis patients’ performance in an emergency evacuation. Material and Method: In this quasi-experimental study, two out of four AJA Hospitals in Tehran that had hemodialysis wards, were sel...
متن کاملSprite generation for frame-based video coding
Sprite coding is a very efficient method for the representation and compression of background video object, which has been accepted by MPEG-4 standard. However, how to automatically generate sprite image from raw video sequence is still an open issue, because the motion of foreground video objects not only disturbs the accuracy of motion estimation but also blurs the generated sprite image. Thi...
متن کاملPii: S0010-0277(00)00153-0
A central role of visual attention is to generate object descriptions that are not available from early vision. Simple examples are counting elements in a display or deciding whether a dot is inside or outside a closed contour (Ullman, Cognition 18 (1984) 97). We are interested in the high-level descriptions of dynamic patterns ± the motions that characterize familiar objects undergoing stereot...
متن کاملMachine Learning for Video-Based Rendering
We present techniques for rendering and animation of realistic scenes by analyzing and training on short video sequences. This work extends the new paradigm for computer animation, video textures, which uses recorded video to generate novel animations by replaying the video samples in a new order. Here we concentrate on video sprites, which are a special type of video texture. In video sprites,...
متن کاملDynamic sprites: artistic authoring of interactive animations
Traditional methods for creating dynamic objects and characters from static drawings involve careful tweaking of animation curves and/or simulation parameters. Sprite sheets offer a more drawing-centric solution, but they do not encode timing information or the logic that determines how objects should transition between poses and cannot generalize outside the given drawings. We present an appro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999